(DEFPROP TRY1 
 (LAMBDA(L)
  (PROG (FILENAM PRNO POTZTBL NEWNAME TBL TIME1 Z Z2 AXNO)
	(SETQ PRNO 0)
   T2   (COND ((NULL L) (SETQ FILENAM (QUOTE (P R F))) (GO P3)))
	(SETQ Z (CAR (LAST L)))
	(SETQ FILENAM (EXPLODE (COND ((ATOM Z) Z) (T (CAR Z)))))
	(EVAL (CONS (QUOTE INPUT) L))
	(INC T)
   P3 B (SETQ Z2 (INCLAUSES))
	(INC NIL)
	(COND ((NULL Z2) (RETURN NIL)))
	(SETQ TIME1 (DIFFERENCE (TIME) (GCTIME)))
	(SETQ Z2 (ATTEMPT Z2 NIL NIL))
   A    (COND ((OR (NULL Z2) (EQ (CAR Z2) (QUOTE QED))) (RETURN (QUOTE *)))
	      ((EQ (CAR Z2) (QUOTE NOPROOF)) (SETQ Z2 (ATTEMPT (INITIALAX1 (CADR Z2)) (CDDR Z2) NIL)))
	      ((EQ (CAR Z2) (QUOTE ABORT))
	       (SETQ Z2 (ATTEMPT (INITIALAX1 (APPEND (CADR Z2) (CDDR Z2))) NIL NIL))))
	(GO A))) 
FEXPR)
(SETQ STFLG NIL)

(DE >IVAR<(%N)(OUTRUL %N(FUNCTION(LAMBDA()(COND((NUMBERP(STK1))(COND
  (STFLG(STK1))(T(CDR(ASSOC(STK1)OUTVAR)))))
((EQ(STK1)(QUOTE LENGTH))LENGTH)
((EQ(STK1)(QUOTE DEPTH))DEPTH))))) )



(DEFPROP OUTIT 
 (LAMBDA (XYZ) (PROG (STFLG) (SETQ STFLG T) (OUT >ST< XYZ))) 
EXPR)

(DEFPROP QUERY 
 (LAMBDA NIL
  (PROG NIL
	(COND (STRATEGY (PRINT (QUOTE CHOICE-STRATEGY-IS:)) (OUTIT (CAR (LAST STRATEGY)))))
	(PRINT (QUOTE EDIT-STRATEGY-IS:))
	(OUTIT (CAR (LAST EDITSTRAT)))
	(COND ((AND (NULL PMODEL) (NULL NMODEL)) (GRINDEF MODEL))
	      (T (PRINT (QUOTE POSITIVE-MODEL=))
		 (PRINC PMODEL)
		 (PRINT (QUOTE NEGATIVE-MODEL=))
		 (PRINC NMODEL)))
	(PRINT (QUOTE PARMODULATE))
	(PRINC (QUOTE =))
	(COND ((NOT PFLG) (PRINC T)
			  (PRINT (QUOTE EQUAL-SYMBOL))
			  (PRINC (QUOTE =))
			  (PRINC EQUAL)
			  (PRINT (QUOTE PAR-DEPTH-BOUND))
			  (PRINC (QUOTE =))
			  (PRINC PDEPTH))
	      (T (PRINC NIL)))
	(PRINT (QUOTE ELAPSED-TIME))
	(PRINC (QUOTE =))
	(PRINC (TIMEIT))
	(RETURN (TERPRI)))) 
EXPR)

(DEFPROP SETQUERY2 
 (LAMBDA(XX YY FLG)
  (PROG (XYZ1 N
 	      CHAN
 	      Z
 	      Z1
 	      Z3
 	      XYZ
 	      Z6
 	      SUPPORT
 	      EDITSTRAT
 	      MERGE
 	      ORDER
 	      DEBUG
 	      DEPTH
 	      LENGTH
 	      ANCESTRY
 	      STRATEGY
 	      PMODEL
 	      NMODEL
 	      PFLG
 	      PDEPTH
 	      DLIST)
	(SETQ CHAN (OUTC NIL NIL))
	(COND (FLG (UPDATESTATE YY)))
	(SETQ XYZ1 XX)
	(COND ((NULL FLG) (GO SRA1)) ((NULL (CAR XX)) (SETQ XYZ1 (CDR XYZ1)) (GO SRA)))
	(PRINT SETQMESS)
	(SETQ XX (UPDATE XX))
	(SETQ XYZ1 XX)
   SRA1 (COND ((NULL (CAR XX)) (SETQ XYZ1 (CDR XYZ1)) (GO SRA)))
	(PRINT (QUOTE HERE-ARE-THE-CLAUSES:))
	(SETQ N 1)
AA(CLAUSES XX)
   SRA  (COND ((AND AUTO (NULL FLG)) (SETQ Z (AUTO XYZ1)) (OUTC CHAN NIL) (RETURN Z))
	      (AUTO (PRINT (QUOTE (STILL-AUTO (Y / N))))
		    (COND
		     ((EQ (READ) (QUOTE Y)) (SETQ Z (CONS XYZ1 (AUTO XYZ1))) (OUTC CHAN NIL) (RETURN Z)))))
SR2A
	 (PRINT (QUOTE CHOICE-STRATEGY-IS:))
(COND(FLG	      (COND (ANCESTRY (PRINT (QUOTE ANCESTRY)))
		    (STRATEGY (OUTIT (CAR (LAST STRATEGY))))
		    (T (PRINT NIL)))
	      (PRINT (QUOTE DO-YOU-WANT-TO-CHANGE-IT))
	      (SETQ Z (READ))
	      (COND ((EQ Z (QUOTE N)) (GO SRB)))))
	(SCANSET)
	(START)
	(SETQ Z (ERRSET (<ST>) T))
	(SCANRESET)
	(COND ((OR (NULL Z) (NULL (CAR Z))) (PRINT (QUOTE SCREWED-STRATEGY)) (GO SRA2)))
	(SETQ ZIN (TOP))
	(SETQ STRATEGY (LIST (QUOTE LAMBDA) (QUOTE (C1 C2)) ZIN))
	(OUTIT ZIN)
   SRB  (PRINT (QUOTE DEBUG=))
	(COND (FLG (RESTRAT DEBUG SRA SRAA) (PRINC DEBUG) (BARF NIL) (RESTRAT2 DEBUG SRA))
	      (T (RESTRATS DEBUG SRA)))
   SRAA SRC
SRD
	 (PRINT (QUOTE EDIT-STRATEGY-IS:))
(COND(FLG	      (OUTIT (CAR (LAST EDITSTRAT)))
	      (PRINT (QUOTE DO-YOU-WANT-TO-CHANGE-IT))
	      (SETQ Z (READ))
	      (COND ((EQ Z (QUOTE N)) (GO SRCA)))))
	(SCANSET)
	(START)
	(SETQ Z1 (ERRSET (<ST>) T))
	(SCANRESET)
	(COND ((OR (NULL Z1) (NULL (CAR Z1))) (PRINT (QUOTE SCREWED-EDIT-STRATEGY)) (GO SRAA)))
	(SETQ ZIN (TOP))
	(SETQ EDITSTRAT (LIST (QUOTE LAMBDA) (QUOTE (C)) ZIN))
	(OUTIT ZIN)
   SRCA SRI
	(PRINT (QUOTE (UNIT-REDUCTION (Y / N))))
	(COND (FLG (RESTRAT UFLG SRD SRIA) (PRINC UFLG) (BARF NIL) (RESTRAT2 UFLG SRC))
	      (T (RESTRATS UFLG SRD)))
   SRIA SRE
(PRINT @EQUALITY-REPLACEMENT-IS:)
	(COND (FLG 
		   (PRINC (QUOTE / ))
		   (COND (PFLG (PRINC (QUOTE OFF))) (T (PRINC (QUOTE ON))))
		   (PRINT (QUOTE (DO YOU WANT TO CHANGE IT (Y / N))))
		   (SETQ Z3 (READ))
		   (COND ((EQ Z3 (QUOTE Y)) (GO SRDA))
			 ((EQ Z3 (QUOTE N)) (GO SPQ6))
			 ((EQ Z3 ESCAPE) (PRINT (QUOTE RESETTING-TO:)) (GO SRI))
			 (T (GO SRE))))
	      (T (PRINC (QUOTE (Y / N)))
		 (RESTRATS Z3 SRI)
		 (SETQ EQUAL ESCAPE)
		 (COND ((EQ Z3 (QUOTE N)) (GO SPQ5)))))
   SRDA (SETQ AXNO 1)
   SRF  (PRINT (QUOTE EQUAL-SYMBOL=))
	(COND (FLG (RESTRAT EQUAL SRE SREA) (PRINC EQUAL) (BARF NIL) (RESTRAT2 EQUAL SRE))
	      (T (RESTRATS EQUAL SRE)))
   SREA(COND((NULL EQUAL)(GO SPQ5))) (SETQ PFLG NIL)
   SRG  (PRINT (QUOTE PAR-DEPTH-BOUND=))
	(COND (FLG (RESTRAT PDEPTH SRF SRFA) (PRINC PDEPTH) (BARF NIL) (RESTRAT2 PDEPTH SRF))
	      (T (RESTRATS PDEPTH SRF)))
   SRFA P1
	(PRINT (QUOTE DEMODULATION-LIST=))
(COND(FLG(COND(DLIST(CLAUSES DLIST))(T(PRINT NIL)))
(PRINT @DO-YOU-WANT-TO-CHANGE-IT)
(SETQ Z(READ))(COND((EQ Z @Y)(GO SRHB))((EQ Z @N)(GO SRH))
((EQ Z ESCAPE)(GO SRG))(T(GO SRFA)))))
SRHB	(PRINT (QUOTE (TYPE: 'NONE' OR 'IN' (TO INSERT))))
(SETQ Z (READ))
	(COND ((EQ Z (QUOTE NONE)) (SETQ DLIST NIL)(GO SPQ6))
	      ((EQ Z (QUOTE IN)) (GO P2))
	      (T (PRINT (QUOTE UNDEFINED-SPECIFICATION-FOR-DEMOD-LIST))))
	(GO P1)
   P2   (SETQ Z3 (INCLAUSES))
   P2A  (COND ((NULL Z3) (PRINT (QUOTE ERROR-TRY-AGAIN)) (GO P1)))
   P3   (SET3 (SETQ DLIST (NCONC DLIST Z3)))
   SRH  (PRINT (QUOTE DEMOD-DEPTH-BOUND=))
	(COND (FLG (RESTRAT DDEPTH P1 SRGA) (PRINC DDEPTH) (BARF NIL) (RESTRAT2 DDEPTH P1))
	      (T (RESTRATS DDEPTH P1)))
   SRGA P6
	(GO SPQ6)
   SPQ5 (SETQ PFLG T)
   SPQ6 (SETQ Z1
	      (LIST STRATEGY
 		    SUPPORT
 		    EDITSTRAT
 		    MERGE
 		    ORDER
 		    DEBUG
 		    DEPTH
 		    LENGTH
 		    ANCESTRY
 		    PMODEL
 		    NMODEL
 		    PFLG
 		    EQUAL
 		    PDEPTH
 		    DLIST))
	(OUTC CHAN NIL)
	(COND (FLG (RETURN (CONS XYZ1 Z1))) (T (RETURN Z1))))) 
EXPR)